

%--------------------------------------------------------------------------------
\chapter{分布共识问题及基本算法}

分布共识问题。相关工作很多，此处先介绍基本问题，和朴素的算法。后面分多个专题讨论分布共识方面的经典工作。

\myleaf 蛮力算法：\cite{Attiya04}第5章，问题的定义，和一个容忍crash failure的同步系统的$f+1$轮蛮力算法。

\myleaf 经典算法：经典的共识协议Paxos\cite{Lamport01}、VR\cite{Oki88}。

\myleaf 后续变体：ZK \cite{Junqueira11}，Raft \cite{Ongaro14}。


%--
\chapter{Paxos}